The Concert Signature Representation : IDL as
نویسندگان
چکیده
In the Concert multilanguage distributed programming system, interface speciication is the responsibility of programming languages, not a separate IDL. However, an IDL is still necessary in order to deene equivalence between declarations in diierent languages. A single representation is also desirable internally to economize on aspects of the implementation. Consequently, Concert has an IDL as an intermediate language, produced by compiler front-ends and not normally manipulated by programmers. It is formally separated into a contract, which deenes interoperability and an endpoint modiier, which captures the local choice of representation. Only contracts are used to deene interface equivalence. Our choice of what kinds of information to put in the contract was motivated by a desire to be minimal, thereby enabling maximum feasible interoperability between diierent expressions of the same abstraction in the same or diierent languages.
منابع مشابه
Double voter perceptible blind signature based electronic voting protocol
Mu et al. have proposed an electronic voting protocol and claimed that it protects anonymity of voters, detects double voting and authenticates eligible voters. It has been shown that it does not protect voter's privacy and prevent double voting. After that, several schemes have been presented to fulfill these properties. However, many of them suffer from the same weaknesses. In this p...
متن کاملModeling Interface Definition Language Extensions
Interface definition languages serve to specify module and interface names, as well as opemtion signatures. However, IDLs lack means to express aspects, such as synchronization constraints, preand post conditions, invariants, quality of service annotations, and real-time annotations. We develop a framework to specify the interface definition language and a given IDL extension in a combined mode...
متن کاملTowards Developing Generation Algorithms for Text-to-Text Applications
We describe a new sentence realization framework for text-to-text applications. This framework uses IDL-expressions as a representation formalism, and a generation mechanism based on algorithms for intersecting IDL-expressions with probabilistic language models. We present both theoretical and empirical results concerning the correctness and efficiency of these algorithms.
متن کاملWell-Behaved IDL Theories
The eld of nonmonotonic logic, sixteen years old now, is devoted to solve the problem of reasoning under incomplete knowledge, whose good understanding is essential to the construction of AI as a science and whose relevance reaches far beyond AI applications. During these years, many insights have been accumulated in the form of desirable properties the proposed formalisms should exhibit and of...
متن کاملFractal signatures for multiscale processing of hyperspectral image data
A multiscale approach to hyperspectral image data analysis using fractal signatures was proposed and implemented in the Interactive Data Language (IDL). For 2-D hyperspectral curves, fractal signature measures the changes in curve length with changing scale. Using NASA’s Earth Observing-1 (EO-1) Hyperion image from a study area near Denton, Texas, USA, the capabilities of fractal signatures in ...
متن کامل